[自] 对归结反演系统的控制策略 resolution refutation strategy: 归结反演策略conflict resolution control strategy: 冲突归结控制方法refutation strategy: 反演策略resolution refutation: 归结反演, 分解反驳resolution refutation system: 归结反演系统下载手机词典可随时随地查词查翻译